Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642029486
Format: Paperback (169 pages) Publisher: Springer Published: 24 Jun 2009
Save for later